-
1 доказательство правильности программы
доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > доказательство правильности программы
-
2 доказательство правильности программы
тест; тестовая программа; программа испытаний — test program
Русско-английский большой базовый словарь > доказательство правильности программы
-
3 доказательство правильности программы
Большой англо-русский и русско-английский словарь > доказательство правильности программы
-
4 доказательство правильности программы
1) Computers: program proof2) Information technology: program correctness proofУниверсальный русско-английский словарь > доказательство правильности программы
-
5 доказательство правильности программы
Русско-английский словарь по вычислительной технике и программированию > доказательство правильности программы
-
6 верификация (доказательство правильности) программы
верификация (доказательство правильности) программы
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация (доказательство правильности) программы
-
7 формальное доказательство правильности программы
Русско-английский большой базовый словарь > формальное доказательство правильности программы
-
8 формальное доказательство правильности программы
Information technology: formal program proof, formal program validationУниверсальный русско-английский словарь > формальное доказательство правильности программы
-
9 формальное доказательство правильности программы
Dictionnaire russe-français universel > формальное доказательство правильности программы
-
10 доказательство правильности завершения
( программы) proof of terminationРусско-английский словарь по вычислительной технике и программированию > доказательство правильности завершения
-
11 доказательство правильности завершения
Programming: proof of termination (программы)Универсальный русско-английский словарь > доказательство правильности завершения
-
12 доказательство правильности завершения работы
1) Computers: proof of termination2) Information technology: proof of termination (программы)Универсальный русско-английский словарь > доказательство правильности завершения работы
-
13 доказательство правильности завершения работы
отлынивать от работы; прогуливать, лодырничать — fake off
Русско-английский большой базовый словарь > доказательство правильности завершения работы
-
14 формальное доказательство правильности
adjIT. validation formelle (напр. программы)Dictionnaire russe-français universel > формальное доказательство правильности
-
15 program proof
Большой англо-русский и русско-английский словарь > program proof
-
16 program proof
English-Russian dictionary of computer science and programming > program proof
-
17 program correctness proof
English-Russian information technology > program correctness proof
-
18 program proof
-
19 program proof
English-Russian dictionary of computer science > program proof
-
20 program correctness proof
доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > program correctness proof
См. также в других словарях:
доказательство правильности программы — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN program correctness proof … Справочник технического переводчика
верификация (доказательство правильности) программы — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN program verification … Справочник технического переводчика
Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… … Большая советская энциклопедия
Теория волн Эллиотта — (Elliott Wave Theory) Теория волн Эллиотта это математическая теория об изменении поведения общества или финансовых рынков Все о волновой теории Эллиотта: видео, книги, статьи о теории волн, информация о советниках и индикаторах волн Эллиотта… … Энциклопедия инвестора
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Тестирование программного обеспечения — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен … Википедия
Лукойл — (Lukoil) Компания Лукойл, история компании, добыча и продажи Компания Лукойл, история компании, добыча и продажи, акционеры и руководство Содержание Содержание Общая о ОАО «» История основание фирмы ОАО «Лукойл» Акционеры и руководство… … Энциклопедия инвестора
Конторович, Алексей Эмильевич — В Википедии есть статьи о других людях с такой фамилией, см. Конторович. Алексей Эмильевич Конторович … Википедия
АНТИЧНОСТЬ — педагогическая мысль и воспитательная практика. Пед. мысль и система воспитат. институтов впервые достигли зрелых форм в Греции к 4 в. до н. э. после длит. эволюции полиса (города государства), в Риме к кон. 1 в. до н. э., когда рабовладельч.… … Российская педагогическая энциклопедия
Дейкстра, Эдсгер Вибе — Эдсгер Вибе Дейкстра Edsger Wybe Dijkstra … Википедия
Дейкстра Э. В. — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия